\documentclass[11pt]{article}
\usepackage{parskip}
\usepackage{proof}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{stmaryrd}
\usepackage{fullpage}
%\usepackage{./mathpartir}
%\usepackage{wasysym} % nicer \leadsto
\usepackage{xspace}

%% begin for ott
\usepackage{supertabular}
\usepackage{ottlayout}
\include{prog-ott}
%% end for ott

\newcommand{\interp}[1]{[\negthinspace[#1]\negthinspace]}
\newcommand{\To}[0]{\Rightarrow}
\newcommand{\ot}[0]{\leftarrow}
\newcommand{\conv}[0]{\leftrightarrow^*}
\newcommand{\convp}[0]{\conv\negthinspace\negthinspace}
%\newcommand{\otsr}[0]{\leftarrow^*\negthinspace\negthinspace}
%\newcommand{\tosr}[0]{\to^*\negthinspace\negthinspace}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}

\title{Yet Another Programing Language}
\author{ Peng Fu }
\date{}
\begin{document}
\maketitle

\newcommand{\abstr}[0]{\textit{Ttocs}}

\section{Language Definition}

This section defines the syntax, small-step operational semantics, and
abstraction rules for a language called $Xie-an$ 


\ottgrammar

\ottdefnStep{}

\ottdefnAbs{}


\section{Metatheory}


\end{document}

